Information: - Aide-de-Camp General is a senior honorary appointment for general officers in the British Army. The recipient is appointed as an Aide-de-Camp General to the head of state, currently Queen Elizabeth II. They are entitled to the post-nominals "ADC (Gen.)". - The British Army is the principal land warfare force of the United Kingdom. The force was initially administered by the War Office from London, which in 1964 was subsumed into the Ministry of Defence. The professional head of the British Army is the Chief of the General Staff. - </div> War is a state of armed conflict between societies. It is generally characterized by extreme aggression, destruction, and mortality, using regular or irregular military forces. An absence of war is usually called "peace". Warfare refers to the common activities and characteristics of types of war, or of wars in general. Total war is warfare that is not restricted to purely legitimate military targets, and can result in massive civilian or other non-combatant casualties. - The military, also called the armed forces, are forces authorized to use deadly force, and weapons, to support the interests of the state and some or all of its citizens. The task of the military is usually defined as defense of the state and its citizens, and the prosecution of war against another state. The military may also have additional sanctioned and non-sanctioned functions within a society, including, the promotion of a political agenda, protecting corporate economic interests, internal population control, construction, emergency services, social ceremonies, and guarding important areas. The military can also function as a discrete subculture within a larger civil society, through the development of separate infrastructures, which may include housing, schools, utilities, food production and banking. - General Sir Frank Edward Kitson , GBE , KCB , MC & Bar , DL ( born 15 December 1926 ) is a retired British Army officer and writer on military subjects , notably low intensity operations . He rose to be Commander - in - Chief UK Land Forces from 1982 to 1985 and was Aide - de - Camp General to Elizabeth II of the United Kingdom from 1983 to 1985 . - A general officer is an officer of high rank in the army, and in some nations' air forces or marines. After reading the paragraphs above, choose the best answer for the entity that related to 'frank kitson' with the relationship of 'military rank'. Choices: - general - general officer - officer
general officer

Information: - In Boolean logic , a formula is in conjunctive normal form ( CNF ) or clausal normal form if it is a conjunction of clauses , where a clause is a disjunction of literals ; otherwise put , it is an AND of ORs . As a normal form , it is useful in automated theorem proving . It is similar to the product of sums form used in circuit theory . All conjunctions of literals and all disjunctions of literals are in CNF , as they can be seen as conjunctions of one - literal clauses and conjunctions of a single clause , respectively . As in the disjunctive normal form ( DNF ) , the only propositional connectives a formula in CNF can contain are and , or , and not . The not operator can only be used as part of a literal , which means that it can only precede a propositional variable or a predicate symbol . In automated theorem proving , the notion '' clausal normal form '' is often used in a narrower sense , meaning a particular representation of a CNF formula as a set of sets of literals . - A computer program is a collection of instructions that performs a specific task when executed by a computer. A computer requires programs to function, and typically executes the program's instructions in a central processing unit. - Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those. - Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. - In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theorems, can be used. In principle, a proof can be traced back to self-evident or assumed statements, known as axioms, along with accepted rules of inference. Axioms may be treated as conditions that must be met before the statement applies. Proofs are examples of deductive reasoning and are distinguished from inductive or empirical arguments; a proof must demonstrate that a statement is always true (occasionally by listing "all" possible cases and showing that it holds in each), rather than enumerate many confirmatory cases. An unproved proposition that is believed to be true is known as a conjecture. - Automated reasoning is an area of computer science and mathematical logic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science, and even philosophy. After reading the paragraphs above, choose the best answer for the entity that related to 'conjunctive normal form' with the relationship of 'part of'. Choices: - back - classification - computer - computer program - logic - mathematical logic - mathematics - order - proof theory - reasoning - science - set theory - theory
mathematical logic