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. 'conjunctive normal form' is related to which object entity through the relation of 'part of'? Choices: - back - classification - computer - computer program - logic - mathematical logic - mathematics - order - proof theory - reasoning - science - set theory - theory
mathematical logic

Information: - Sri Lanka (or ; Sinhalese: ', Tamil: "Ilakai"), officially the Democratic Socialist Republic of Sri Lanka (formerly known as Ceylon), is an island country in South Asia near south-east India. Sri Lanka has maritime borders with India to the northwest and the Maldives to the southwest. - The Roman Catholic Diocese of Chilaw (Lat: "Dioecesis Chilavensis") is a diocese of the Latin Rite of the Roman Catholic Church in Sri Lanka. - The word diocese is derived from the Greek term "" meaning "administration". When now used in an ecclesiastical sense, it refers to a territorial unit of administration. In the Western Church, the district is under the supervision of a bishop (who may have assistant bishops to help him or her) and is divided into parishes under the care of priests; but in the Eastern Church, the word denotes the area under the jurisdiction of a patriarch and the bishops under his jurisdiction administer parishes. This structure of church governance is known as episcopal polity. - Colombo (Sinhala: "Kolamba", pronounced ) is the commercial capital and largest city of Sri Lanka. According to the Brookings Institution, Colombo metropolitan area has a population of 5.6 million, and 752,993 in the city proper. It is the financial centre of the island and a popular tourist destination. It is located on the west coast of the island and adjacent to Sri Jayawardenepura Kotte, the legislative capital of Sri Lanka. Colombo is often referred to as the capital since Sri Jayawardenepura Kotte is within the urban area of, and a satellite city of, Colombo. It is also the administrative capital of Western Province, Sri Lanka and the district capital of Colombo District. Colombo is a busy and vibrant place with a mixture of modern life and colonial buildings and ruins. It was the legislative capital of Sri Lanka until 1982. - Frank Marcus Fernando ( October 19 , 1931 -- August 24 , 2009 ) was the Sri Lankan bishop of the Roman Catholic Diocese of Chilaw in Sri Lanka . Fernando served as the Bishop of Chilaw from his appointment on December 27 , 1972 , until his retirement on October 19 , 2006 . The diocese is based in Chilaw , a coastal city north of Colombo . Frank Marcus Fernando was born in 1931 . He was officially ordained a Catholic priest in Rome , Italy . 'frank marcus fernando' is related to which object entity through the relation of 'religion'? Choices: - catholic - catholic church - church - india
catholic church