[permalink] [id link]
** while on the right of the, the sequence of formulas is considered disjunctively ( at least one of the formulas must hold for any assignment of variables ),
from
Wikipedia
Some Related Sentences
** and while
** X register and Y register-They are number stores where numbers are stored temporarily while doing calculations.
** In the former doge-state Venice, and while it was a republic resisting annexation by either the kingdom of Piedmont-Sardinia or the Austrian empire, a former Chief Executive ( president, 23 March 18485 July 1848 ), Daniele Manin ( b. 1804-d. 1857 ), was styled Dictator 11 – 13 August 1848 before joining the 13 August 1848-7 March 1849 Triumvirate.
** Earliest day on which Day of the Finnish Flag can fall, while June 26 is the latest ; celebrated on Saturday of Midsummer's Day ( Finland )
** Shoot boxing – A Japanese form of kickboxing which allows throwing and submission while standing, similar to Sanda.
** Earliest day on which Feast of the Immaculate Heart of Mary can fall, while July 3 is the latest ; celebrated 20 days after Pentecost.
** Earliest day on which Corpus Christi can fall, while June 24 is the latest ; held on Thursday after Trinity Sunday.
** Axis & Allies: while playing as the Axis powers in campaign mode ( which has the Axis powers winning the war ), Operation Sea Lion is the mission following the failed invasion of Normandy.
** Cylinder head studs used in all earlier engines replaces with bolts making it easier to remove heads while engine is in engine bay.
** The microcode can employ both pipelines to enable auto-repeating instructions such as rep movsw perform one iteration every clock cycle, while the 80486 needed three clocks per iteration ( and the earliest x86-chips significantly more than the 486 ).
** German Federal Prosecutor Siegfried Buback and his driver are shot by 2 Red Army Faction members while waiting at a red light near his home in Karlsruhe.
** Mrs. Madeline Dassault, 63, wife of a French plane manufacturer and politician, is kidnapped while leaving her car in front of her Paris home ; she is found unharmed the next day in a farmhouse from Paris.
** Angolan Civil War ( 1975 – 2002 )-resulting in intervention by multiple countries on the Marxist and anti-Marxist sides, with Cuba and Mozambique supporting the Marxist faction while South Africa and Zaire support the anti-Marxists.
** Two cosmonauts transfer from Soyuz 5 to Soyuz 4 via a spacewalk while the two craft are docked together, the first time such a transfer takes place.
** American troops occupy southern Korea, while the Soviet Union occupies the north, with the dividing line being the 38th parallel of latitude.
** The ocean liner catches fire while being converted into the troopship USS Lafayette ( AP-53 ) for WWII.
** Prime Minister of Pakistan Benazir Bhutto gives birth to a girl, becoming the first modern head of government to bear a child while in office.
** Thousands of African Americans, many of them children, are arrested while protesting segregation in Birmingham, Alabama.
** Mrkonjić Grad incident: A United States Air Force F-16 piloted by Captain Scott O ' Grady is shot down over Bosnia and Herzegovina while patrolling the NATO no-fly zone.
** Students gathering at Thammasat University in Bangkok, Thailand are massacred, while protesting the return of ex-dictator Thanom Kittikachorn by a coalition of right-wing paramilitary and government forces, triggering the return of the military to government.
** The Greek oil tanker Aegean Sea, carrying 80, 000 tonnes of crude oil, runs aground in a storm while on approach to La Coruña, Spain, and spills much of its cargo.
** The USS Samuel B. Roberts ( FFG-58 ) strikes a naval mine in the Persian Gulf, while deployed on Operation Earnest Will, during the Tanker War phase of the Iran – Iraq War.
** and on
** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.
** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.
** See also Salmond on " Citizenship and Allegiance ," in the Law Quarterly Review ( July 1901, January 1902 ).
** This is, on the whole, an informed and good account of the life and accomplishments of one of the greatest influences on the development of thought both Eastern and Western.
** This is a distinguished work which stands out from, and above, many of the books and articles which have ben written in this century on Avicenna ( Ibn Sīnā ) ( A. D. 980 – 1037 ).
** Minimum level required for POWER4 hardware and the last release that worked on the Micro Channel architecture
0.463 seconds.