特許の要件を論理式で書く

A: 「産業上利用できる」and「発明である」and 新規性がある

（特許の要件）
第二十九条 　産業上利用することができる発明をした者は、次に掲げる発明を除き、その発明について特許を受けることができる。

B: 出願前に公知 or 出願前に公然実施 or 出願前に頒布された刊行物に記載 or 出願前に電気通信回線を通じて公衆利用可能

一 　特許出願前に日本国内又は外国において公然知られた発明
二 　特許出願前に日本国内又は外国において公然実施をされた発明
三 　特許出願前に日本国内又は外国において、頒布された刊行物に記載された発明又は電気通信回線を通じて公衆に利用可能となつた発明

要件: A and not B and 進歩性がある

進歩性がある: not(特許出願前に当業者が容易にできる発明)

２ 　特許出願前にその発明の属する技術の分野における通常の知識を有する者が前項各号に掲げる発明に基いて容易に発明をすることができたときは、その発明については、同項の規定にかかわらず、特許を受けることができない。

 新規性がある: not (B and not C) 

C: Bから6ヶ月以内の出願 and その旨を記した書類を提出

（発明の新規性の喪失の例外）
第三十条 　特許を受ける権利を有する者の意に反して第二十九条第一項各号のいずれかに該当するに至つた発明は、その該当するに至つた日から六月以内にその者がした特許出願に係る発明についての同条第一項及び第二項の規定の適用については、同条第一項各号のいずれかに該当するに至らなかつたものとみなす。
２ 　特許を受ける権利を有する者の行為に起因して第二十九条第一項各号のいずれかに該当するに至つた発明（発明、実用新案、意匠又は商標に関する公報に掲載されたことにより同項各号のいずれかに該当するに至つたものを除く。）も、その該当するに至つた日から六月以内にその者がした特許出願に係る発明についての同条第一項及び第二項の規定の適用については、前項と同様とする。
３ 　前項の規定の適用を受けようとする者は、その旨を記載した書面を特許出願と同時に特許庁長官に提出し、かつ、第二十九条第一項各号のいずれかに該当するに至つた発明が前項の規定の適用を受けることができる発明であることを証明する書面（次項において「証明書」という。）を特許出願の日から三十日以内に特許庁長官に提出しなければならない。
４ 　証明書を提出する者がその責めに帰することができない理由により前項に規定する期間内に証明書を提出することができないときは、同項の規定にかかわらず、その理由がなくなつた日から十四日（在外者にあつては、二月）以内でその期間の経過後六月以内にその証明書を特許庁長官に提出することができる。

 発明: 自然法則を利用した and 技術的思想の創作 and 高度

第二条 　この法律で「発明」とは、自然法則を利用した技術的思想の創作のうち高度のものをいう。